|
|
|
|
Switching theory : insight through predicate logic / Shimon P. VingronPublication: Berlin : Springer, 2004Description: 428 p. :
il. ;
24 cm.Availability: Items available for loan: [VIN. 510.6] (1).
|
|
|
|
|
Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ;
23 cmAvailability: Items available for loan: [TRO. 510.6] (1).
|
|
|
|
|
Introduction to mathematical logic / Elliott MendelsonPublication: Boca Raton : Chapman & Hall/CRC, 2001Description: X, 440 p. ;
25 cm.Availability: Items available for loan: [MEN. 510.6] (1).
|
|
|
|
|
The elements of mathematical logic / Paul C. RosenbloomPublication: New York : Dover, 1950Description: IV, 215 p. :
il. ;
21 cm.Availability: Items available for loan: [ROS. 510.6] (1).
|
|
|
|
|
The language of first-order logic : including the IBM-compatible windows version of Tarski's world 4.0 / Jon Barwise, John EtchemendyPublication: Stanford : Center for the Study of Language and information, 1992Description: XIV, 319 p. :
il.Availability: Items available for loan: [BAR. 510.6] (1).
|
|
|
|
|
Compêndio de matemática 1º vol. 1º tomo / J. Sebastião e Silva : curso complementar do ensino secundárioPublication: Lisboa, 1975 : Gabinete de Estudos e Planeamento do Ministério da Educação e CulturaDescription: 221 p. :
il. ;
24 cm.Availability: Items available for loan: [SIL. 51] (1). Items available for reference: [SIL. 51] (1).
|
|
|
|
|
Guia para a utilização do compêndio de matemática 1º vol. : curso complementar do ensino secundário / J. Sebastião e SilvaPublication: Lisboa : Gabinete de Estudos e Planeamento do Ministério da Educação e Investigação Científica, 1975Description: 144 p. :
il. ;
24 cm.Availability: Items available for loan: [SIL. 51] (1). Items available for reference: [SIL. 51] (1).
|
|
|
|
|
Mathematical logic / H. D. Ebbinghaus... [et al.]Publication: New York : Springer, 1994Description: X, 289 p. : il. ;
24 cmAvailability: Items available for loan: [EBB. 510.6] (1).
|
|
|
|
|
First-order logic and automated theorem proving / Melvin FittingPublication: New York : Springer, 1996Description: XVI, 326 p. :
il.Availability: Items available for loan: [FIT. 510.6] (1).
|
|
|
|
|
Prolog : the standard ; reference manual / P. Deransart, A. Ed-Dbali, L. Cervoni ; forew. C. Biro ; pref. R. S. ScowenPublication: Berlin : Springer, 1996Description: XIV, 272 p. :
il.Availability: Items available for loan: [DER. 004.43Prolog] (1).
|
|
|
|
|
Formal methods in artificial intelligence / Allan RamsayPublication: Cambridge : Cambridge University Press, 1991Description: IX, 279 p. :
il.Availability: Items available for loan: [RAM. 004.8] (1).
|
|
|
|
|
Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] :
il.Availability: Items available for loan: [GAB. 004.8] (5).
|
|
|
|
|
Simply logical : intelligent reasoning by example / Peter FlachPublication: Chichester : John Wiley & Sons, 1994Description: XV, 240 p. :
il.Availability: Items available for loan: [FLA. 004.8] (1).
|
|
|
|
|
Introduction to logic / Irving M. CopiPublication: New York, 1972 : Macmillan PublishingDescription: XII, 540 p. : il. ;
24 cm.Availability: Items available for loan: [COP. 510.6] (1).
|
|
|
|
|
Logic / Nick EarlePublication: London : The Macmillan Press, 1973Description: 139 p. : il. ;
22 cmAvailability: Items available for loan: [EAR. 510.6] (1).
|
|
|
|
|
Cours de logique mathématique tome 1 : relation, formule logique, compacité, complétude / Roland FraïsséPublication: Paris, 1967 : Gauthier-VillarsDescription: XII, 186 p. ;
24 cmAvailability: Items available for loan: [FRA. 510.6] (1).
|
|
|
|
|
Lógica / John Nolt, Dennis Rohatyn ; trad. e rev. téc. Leila Zardo Puga, Mineko YamashitaPublication: São Paulo : Makron Books do Brasil, 1991Description: X, 596 p. : il. ;
24 cmAvailability: Items available for loan: [NOL. 510.6] (2). Items available for reference: [NOL. 510.6] (1).
|
|
|
|
|
Modal logic : an introduction / Brian F. ChellasPublication: Cambridge : University Press, 1999Description: XII, 295 p. :
il.Availability: Items available for loan: [CHE. 510.6] (1).
|
|
|
|
|
Fondements mathématiques de la cybernétique / Y. KorchounovPublication: Moscou, 1975 : Éditions MIRDescription: 331 p. :
il. ;
22 cm.Availability: Items available for loan: [KOR. 51] (1). Items available for reference: [KOR. 51] (1).
|
